Nuprl Definition : cand
13,42
postcript
pdf
A
c
B
==
:
A
B
latex
Up
core
2
,
core
2
Definitions
x
:
A
B
(
x
)
origin
B == :A 
B B == :A B B(x)